Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 96.87%. Comparing base (a7521b9) to head (3a2c9a3).
⚠️ Report is 1 commits behind head on main.

@@           Coverage Diff           @@
##             main      #21   +/-   ##
=======================================
  Coverage   96.87%   96.87%           
=======================================
  Files           1        1           
  Lines          32       32           
=======================================
  Hits           31       31           
  Misses          1        1           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

BenchmarkTools.jl suggests a speedup (although such a very-micro microbenchmark is perhaps not relevant):

@btime checked_size_product(t) setup=(t = (rand((-1):13), rand((-1):13), rand((-1):13), rand((-1):13));) seconds=Inf samples=100000 evals=200;
#  5.060 ns (0 allocations: 0 bytes)
#  4.755 ns (0 allocations: 0 bytes)

I think this PR allows LLVM to transform (x < 0) | (x == typemax(x)) to x + 1 < 1. Thus the speedup.